Linh Anh Nguyen; "Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5"